Works by Govindarajulu, Naveen (exact spelling)

Order:
  1. The Epistemology of Computer-Mediated Proofs.Naveen Govindarajulu & Selmer Bringsjord - 2018 - In Sven Ove Hansson (ed.), Technology and Mathematics: Philosophical and Historical Investigations. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  2. Leibniz’s Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI.Naveen Govindarajulu & Selmer Bringsjord - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  3.  43
    Ethical Operating Systems.Kevin O’Neill, Jean-Claude Paquin, Atriya Sen, Selmer Bringsjord & Naveen Govindarajulu - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 235-260.
    A well-ingrained and recommended engineering practice in safety-critical software systems is to separate safety concerns from other aspects of the system. Along these lines, there have been calls for operating systems that implement ethical controls in an ethical layer separate from, and not amenable to tampering by, developers and modules in higher-level intelligence or cognition layers. There have been no implementations that demonstrate such a marshalling of ethical principles into an ethical layer. To address this, we present three different tracks (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark